Algebraic Topology (hatcher)
نویسنده
چکیده
Part 1. The Fundamental Group 3 2. Basic Constructions 3 2.1. Paths and Homotopy 3 2.2. The Fundamental Group of the Circle 4 2.3. Induced Homomorphisms 6 3. Van Kampen’s Theorem 7 3.1. Free Products of Groups 7 3.2. The Van Kampen Theorem 7 3.3. Application to Cell Complexes 9 4. Covering Spaces 11 4.1. Lifting Properties 11 4.2. The Classification of Covering Spaces 12 4.3. Deck Transformations and Group Actions 16 5. 1.A Graphs and Free Groups 20 6. 1.B K(G, 1) Spaces and Graphs of Groups 20
منابع مشابه
Categorically-algebraic topology and its applications
This paper introduces a new approach to topology, based on category theory and universal algebra, and called categorically-algebraic (catalg) topology. It incorporates the most important settings of lattice-valued topology, including poslat topology of S.~E.~Rodabaugh, $(L,M)$-fuzzy topology of T.~Kubiak and A.~v{S}ostak, and $M$-fuzzy topology on $L$-fuzzy sets of C.~Guido. Moreover, its respe...
متن کاملON ALGEBRAIC AND COALGEBRAIC CATEGORIES OF VARIETY-BASED TOPOLOGICAL SYSTEMS
Motivated by the recent study on categorical properties of latticevalued topology, the paper considers a generalization of the notion of topological system introduced by S. Vickers, providing an algebraic and a coalgebraic category of the new structures. As a result, the nature of the category TopSys of S. Vickers gets clari ed, and a metatheorem is stated, claiming that (latticevalu...
متن کاملFunctorial semantics of topological theories
Following the categorical approach to universal algebra through algebraic theories, proposed by F.~W.~Lawvere in his PhD thesis, this paper aims at introducing a similar setting for general topology. The cornerstone of the new framework is the notion of emph{categorically-algebraic} (emph{catalg}) emph{topological theory}, whose models induce a category of topological structures. We introduce t...
متن کاملMore Exercises for Algebraic Topology
1. Given a map f :X→Y , show that there exists a map g :Y→X with gf ≃ 1 iff X is a retract of the mapping cylinder Mf . 2. (a) Suppose a CW complex X is the union of a finite number of subcomplexes Xi and that a subcomplex A of X is the union of subcomplexes Ai ⊂ Xi . Show that if each Xi deformation retracts onto Ai and each intersection of a subcollection of the Xi ’s deformation retracts ont...
متن کاملA Proof of the Jordan Curve Theorem via the Brouwer Fixed Point Theorem
The aim of the paper is to report on MIZAR codification of the Jordan curve theorem, a theorem chosen as a challenge to be completely verified using formal methods at the time when they started being commonly used. Formalization was done based on proofs taken from the literature, where theorems mentioned in the title of the paper from ”Brouwer’s Fixed Point Theorem and the Jordan Curve Theorem”...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
عنوان ژورنال:
دوره شماره
صفحات -
تاریخ انتشار 2017